Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
631	Jaakko Hintikka Boston University and Ilpo Halonen University of Helsinki Add to Reading List Source URL: scistud.umkc.edu Language: English - Date: 2002-07-15 23:21:00 Proof theory Deduction Propositional calculus Method of analytic tableaux First-order logic Entailment Interpolation Sequent calculus Curry–Howard correspondence Logic Mathematical logic Automated theorem proving
632	Curriculum Vitae and Research Statement Dr. Alexandre Riazanov (Alexander Ryazanov1 ) Saint John, NB, Canada Add to Reading List Source URL: riazanov.webs.com Language: English Automated theorem proving Semantic Web Searching Term indexing Vampire Reasoning E theorem prover Automated reasoning Ontology Science Theoretical computer science Information science
633	Conditional Model Checking: A Technique to Pass Information between Verifiers Dirk Beyer University of Passau Germany Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Applied mathematics Logic in computer science Model checking Formal verification Assertion Automated theorem proving Function Economic model Software verification Theoretical computer science Mathematics Formal methods
634	Short Proofs are Narrow – Resolution made Simple Eli Ben-Sasson ∗ Add to Reading List Source URL: www.math.ias.edu Language: English - Date: 2002-04-25 05:57:27 Theoretical computer science Automated theorem proving Rules of inference Propositional calculus Logic in computer science Resolution Tautology Computational complexity theory Mathematical proof Mathematical logic Mathematics Logic
635	Academic software reuse, an experience report Edward Z. Yang May 14, 2012 The objective of this 6.UAP project was to build an online, educational proof assistant for classical first-order logic, which al Add to Reading List Source URL: ezyang.com Language: English - Date: 2013-05-31 17:17:03 Mathematics Automated theorem proving Logic in computer science Functional languages Proof assistant Coq Natural deduction Jape Intuitionistic logic Mathematical logic Logic Proof theory
636	A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae Paola Bruscoli1? , Alessio Guglielmi1?? , Tom Gundersen1? ? ? , and Michel Parigot2† 1 Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2010-07-17 14:32:37 Propositional calculus Automated theorem proving Inference Logical truth Natural deduction Sequent calculus Rule of inference Deep inference Cut-elimination theorem Logic Mathematical logic Proof theory
637	The Focused Inverse Method for Linear Logic Kaustuv Chaudhuri CMU-CS[removed]December 4, 2006 Department of Computer Science Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2007-05-23 16:37:29 Automated theorem proving Proof theory Logic in computer science Non-classical logic Deduction Linear logic Intuitionistic logic Natural deduction Logic programming Logic Mathematical logic Mathematics
638	Why3 Modern automatic theorem prover Based on SMT technology Qualification DO-178 B/C (avionic) Used in industrial world Add to Reading List Source URL: alt-ergo.ocamlpro.com Language: English - Date: 2014-07-02 21:39:26 Ada programming language Formal methods Frama-C SPARK Logic in computer science Automated theorem proving AdaCore Ada Formal verification Computing Software engineering Computer programming
639	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:39 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
640	ON THE PROOF COMPLEXITY OF DEEP INFERENCE PAOLA BRUSCOLI AND ALESSIO GUGLIELMI ABSTRACT. We obtain two results about the proof complexity of deep inference: 1) deep-inference proof systems are as powerful as Frege ones, Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2009-04-19 15:07:07 Mathematics Propositional calculus Automated theorem proving Logic in computer science Frege system Cut-elimination theorem Analytic proof Sequent calculus Substitution Logic Mathematical logic Proof theory